quantification of the predicate

См. также в других словарях:

• quantification of the predicate — (logic) The attachment of a sign of quantity to the predicate • • • Main Entry: ↑quantify …   Useful english dictionary

• quantification — [ kɑ̃tifikasjɔ̃ ] n. f. • mil. XIXe; en angl. 1840; → quantifier 1 ♦ Log. Détermination de la quantité (d un terme). Quantification du prédicat : selon Hamilton, attribution au prédicat d une extension indépendante de la qualité de la proposition …   Encyclopédie Universelle

• Quantification — Quan ti*fi*ca tion, n. [See {Quantity}.] Modification by a reference to quantity; the introduction of the element of quantity. [1913 Webster] The quantification of the predicate belongs in part to Sir William Hamilton; viz., in its extension to… …   The Collaborative International Dictionary of English

• Quantification — has two distinct meanings.In mathematics and empirical science, it refers to human acts, known as counting and measuring that map human sense observations and experiences into members of some set of numbers. Quantification in this sense is… …   Wikipedia

• quantification theory — The logical theory of inferences involving quantifiers, more commonly referred to as the predicate calculus …   Philosophy dictionary

• Predicate (grammar) — In traditional grammar, a predicate is one of the two main parts of a sentence (the other being the subject, which the predicate modifies). In current linguistic semantics, a predicate is an expression that can be true of something. Thus, the… …   Wikipedia

• quantification — See quantifiable. * * * ▪ logic       in logic, the attachment of signs of quantity to the predicate or subject of a proposition. The universal quantifier, symbolized by (∀ ) or ( ), where the blank is filled by a variable, is used to express… …   Universalium

• Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… …   Wikipedia

• predicate — A predicate is any expression that is capable of connecting with one or more singular terms to make a sentence. A predicate expresses a condition that the entities referred to may satisfy, in which case the resulting sentence will be true. For… …   Philosophy dictionary

• predicate calculus — noun a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) • Syn: ↑functional calculus • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal… …   Useful english dictionary

• quantification — noun 1. a limitation imposed on the variables of a proposition (as by the quantifiers some or all or no ) • Derivationally related forms: ↑quantify • Hypernyms: ↑restriction, ↑limitation • Part Holonyms: ↑predicate calculus, ↑ …   Useful english dictionary